Communicating embedded systems - software and design : formal methods
- Originaltitel
- Approches formelles des systèmes embarqués communicants
- Författare
- (Edited by Claude Hard, Olivier H. Roux.)
- Genre
- Electronic books.
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| ISTE, Ltd., Wiley | 2010 | England, London, Hoboken | 1 online resource (275 sidor.) | 978-1-118-55818-8 |